package models;

import parser.generic.Node;

public class Field extends Node {

	private String name, type;
	private Value value;

	public Field(String name, String type, Value value) {
		this.name = name;
		this.type = type;
		this.value = value;
	}

	@Override
	public String toString() {
		return name + " : " + type + " = " + value;
	}

	public String toK(String deep) {
		return deep + "(" + name + " |-> " + "typedElt(" + value.getTyped(type) + "," + type
				+ "))";
	}
}
